Symmetric relation

  • 2025-09-13

A binary relation RR over a set XX is symmetric if: a,bX(aRb    bRa)\forall a,b \in X (aRb \iff bRa).